In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...) towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism. (shrink)

In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to believesomething by default. We present a formalization of observations,communication actions, (...) and the attempted jumps to conclusions thatconstitutes default reasoning. To implement these informative actionswe use a general belief revision action which satisfies theAGM postulates; dependent on the credibility of the incominginformation this revision action acts on one or more parts ofthe classified belief sets of the agents. The abilities of agents formalizeboth the limited capacities of agents to acquire information, and the preference of one kind of information acquisition to another. A very important feature of our approach is that it shows how to integratevarious aspects of agency, in particular the (informational) attitudesof dealing with information from observation, communication and defaultreasoning into one coherent framework, both model-theoretically andsyntactically. (shrink)

Ethical issues of information and communication technologies (ICTs) are important because they can have significant effects on human liberty, happiness, and people’s ability to lead a good life. They are also of functional interest because they can determine whether technologies are used and whether their positive potential can unfold. For these reasons, policy makers are interested in finding out what these issues are and how they can be addressed. The best way of creating ICT policy that is sensitive to ethical (...) issues pertain to being proactive in addressing such issues at an early stage of the technology life cycle. The present paper uses this position as a starting point and discusses how knowledge of ethical aspects of emerging ICTs can be gained. It develops a methodology that goes beyond established futures methodologies to cater for the difficult nature of ethical issues. The authors outline how the description of emerging ICTs can be used for an ethical analysis. (shrink)

Ethical issues of information and communication technologies (ICTs) are important because they can have significant effects on human liberty, happiness, their ability to lead a good life. They are also of functional interest because they can determine whether technologies are used and whether their positive potential can unfold. For these reasons policy makers are interested in finding out what these issues are and how they can be addressed. The best way of creating ICT policy that is sensitive to ethical issues (...) would be to be proactive and address such issues at early stages of the technology life cycle. The present paper uses this position as a starting point and discusses how knowledge of ethical aspects of emerging ICTs can be gained. It develops a methodology that goes beyond established futures methodologies to cater for the difficult nature of ethical issues. The paper goes on to outline some of the preliminary findings of a European research project that has applied this method. (shrink)

BackgroundInaccurate, false or incomplete research publications may mislead readers including researchers and decision-makers. It is therefore important that such problems are identified and rectified promptly. This usually involves collaboration between the research institutions and academic journals involved, but these interactions can be problematic.MethodsThese recommendations were developed following discussions at World Conferences on Research Integrity in 2013 and 2017, and at a specially convened 3-day workshop in 2016 involving participants from 7 countries with expertise in publication ethics and research integrity. The (...) recommendations aim to address issues surrounding cooperation and liaison between institutions and journals about possible and actual problems with the integrity of reported research arising before and after publication.ResultsThe main recommendations are that research institutions should: develop mechanisms for assessing the integrity of reported research that are distinct from processes to determine whether individual researchers have committed misconduct;release relevant sections of reports of research integrity or misconduct investigations to all journals that have published research that was investigated;take responsibility for research performed under their auspices regardless of whether the researcher still works at that institution or how long ago the work was done;work with funders to ensure essential research data is retained for at least 10 years.Journals should: respond to institutions about research integrity cases in a timely manner;have criteria for determining whether, and what type of, information and evidence relating to the integrity of research reports should be passed on to institutions;pass on research integrity concerns to institutions, regardless of whether they intend to accept the work for publication;retain peer review records for at least 10 years to enable the investigation of peer review manipulation or other inappropriate behaviour by authors or reviewers.ConclusionsVarious difficulties can prevent effective cooperation between academic journals and research institutions about research integrity concerns and hinder the correction of the research record if problems are discovered. While the issues and their solutions may vary across different settings, we encourage research institutions, journals and funders to consider how they might improve future collaboration and cooperation on research integrity cases. (shrink)

In this article, the authors examine how the debate over women's executions during the nineteenth and early twentieth century funneled and in various ways processed the contrary demands of gender and capital justice. They show how encounters with capital punishment both reflected and reinforced dominant interpretations of womanhood and as such contributed to the intricate web of normative strictures that affected all women at the time. At the same time, however, the often heated debates that accompanied such cases pried open (...) some of the contradictions inherent in the dominant interpretations and, as a result, came to challenge the boundaries that separated not only women from men but also women from each other. Rather than viewing gender as a unidirectional influence on capital punishment, the authors argue that gender is best approached as an evolving social category that gets reconstructed, modified, and transformed whenever it is implicated in social practices and public debates. (shrink)

In this paper I respond to Bernd Krehoff’s article ‘Legitimate Political Authority and Sovereignty: Why States Cannot Be the Whole Story’. I criticize Krehoff’s use of Raz’s theory of authority to evaluate the legitimacy of our political institutions. Krehoff argues that states cannot (always) claim exclusive authority and therefore cannot possess exclusive legitimacy. Although I agree with his conclusion, I argue that the questions of legitimacy and (Razian) authority are distinct and that we need to focus more on the (...) former in order to really support and defend Krehoff’s conclusions. (shrink)

Bayes’ formula is a fundamental statistical method for inference judgments in uncertain situations used by both laymen and professionals. However, since people often fail in situations where Bayes’ formula can be applied, how to improve their performance in Bayesian situations is a crucial question. We based our research on a widely accepted beneficial strategy in Bayesian situations, representing the statistical information in the form of natural frequencies. In addition to this numerical format, we used five visualizations: a 2×2-table, a unit (...) square, an icon array, a tree diagram, and a double-tree diagram. In an experiment with 688 undergraduate students, we empirically investigated the effectiveness of three graphical properties of visualizations: area-proportionality, use of discrete and countable statistical entities, and graphical transparency of the nested-sets structure. We found no additional beneficial effect of area-proportionality. In contrast, the representation of discrete objects seems to be beneficial. Furthermore, our results show a strong facilitating effect of making the nested-sets structure of a Bayesian situation graphically transparent. Our results contribute to answering the questions of how and why a visualization could facilitate judgment and decision making in situations of uncertainty. (shrink)

Introduction : Dialogue et diatribe, influences réciproques -- Réflexion théorique et construction d'outils d'analyse antique et moderne -- La prétendue "diatribe" antique : fantôme ou instrument herméneutique ? -- Diatribè, quelques jalons dans l'histoire d'un mot controversé -- Le style diatribe dans les Diatribai d'Épictète/Arrien -- "Que bel harnais ne fait pas bon cheval" : un topos de la philosophie morale et "populaire" entre dialogue, diatribe et protreptique -- Manipulations horatiennes de la diatribe cynico-stoïcienne dans les Satires : reprises et (...) mises à distance -- Du dialogue lucianesque à la diatribe philosophique : le Charon de Giovanni Pontano -- Diatribe et dialogisme : La voix de l'autre, quelle place et quelle voix accorder à l'interlocuteur ? -- Interrogatoire judiciaire et interrogation dialectique en partant d'Aristote, Rhétorique III 18 -- "Le partage des voix" dans les Entretiens d'Épictète -- La fonction de l'adresse dans le De Ira de Sénèque -- Le dialogue en échec chez Dion de Pruse -- Diatribe et Sermon, une fausse question ? -- Étude des dialogues fictifs dans quelques sermons d'Augustin. (shrink)

This book on the Tripurārahasya, a South Indian Sanskrit work which occupies a unique place in the Śākta literature, is a study of the Śrīvidyā and Śākta traditions in the context of South Indian intellectual history in the late middle ages. Associated with the religious tradition known as Śrīvidyā and devoted to the cult of the Goddess Tripurā, the text was probably composed between the 13th and the 16th century CE. The analysis of its narrative parts addresses questions about the (...) relationships between Tantric and Purāṇic goddesses. The discussion of its philosophical and theological teachings tackles problems related to the relationships between Sākta and Śaiva traditions. The stylistic devices adopted by the author(s) of the work deal uniquely with doctrinal and ritual elements of the Śrīvidyā through the medium of a literary and poetic language. This stylistic peculiarity distinguishes the Tripurārahasya from many other Tantric texts, characterized by a more technical language. The book is intended for researchers in the field of Asian Studies, Indology, Philosophical, Theological or Religious Studies, Hindu Studies, Tantric Studies and South Asian Religion and Philosophy, in particular those interested in Śākta and Śaiva philosophic-religious traditions. (shrink)

Taking account of Kant's unpublished mss., the author presents a close textual interpretation of Kant's logic of concepts.

The two main challenges of the theory of conceptual content presented by Robert Brandom in Making It Explicit are to account for a referential dimension of conceptual content and to account for the objectivity of conceptual norms. Brandom tries to meet both these challenges in chapter 8 of his book. I argue that the accounts presented there can only be understood if seen against the background of Brandom's theory of communication developed in chapter 7. This theory is motivated by the (...) well-known problem that semantic holism threatens the possibility of communication because it has the consequence that words mean different things in different mouths. Brandom offers a solution to this problem in terms of what he calls recurrence commitments. I show that chapter 8 of Making It Explicit should be understood as arguing that a practice that includes acknowledging interpersonal recurrence commitments institutes both conceptual contents with a referential dimension and objective conceptual norms. I close by raising the objection that Brandom's argument can only show that conceptual norms are communally shared and not that they are objective. I propose an emendation of this argument, having recourse to a practice Brandom refers to as rational rectification in his new book Between Saying and Doing. (shrink)

The contributors to _Constructing the Pluriverse_ critique the hegemony of the postcolonial Western tradition and its claims to universality by offering a set of “pluriversal” approaches to understanding the coexisting epistemologies and practices of the different worlds and problems we inhabit and encounter. Moving beyond critiques of colonialism, the contributors rethink the relationship between knowledge and power, offering new perspectives on development, democracy, and ideology while providing diverse methodologies for non-Western thought and practice that range from feminist approaches to scientific (...) research to ways of knowing expressed through West African oral traditions. In combination, these wide-ranging approaches and understandings form a new analytical toolbox for those seeking creative solutions for dismantling Westernization throughout the world. Contributors Zaid Ahmad, Manuela Boatcă, Hans-Jürgen Burchardt, Arturo Escobar, Sandra Harding, Ehsan Kashfi, Venu Mehta, Walter D. Mignolo, Ulrich Oslender, Isiaka Ouattara, Manu Samnotra, Aram Ziai. (shrink)

The ethics of artificial intelligence is a widely discussed topic. There are numerous initiatives that aim to develop the principles and guidance to ensure that the development, deployment and use of AI are ethically acceptable. What is generally unclear is how organisations that make use of AI understand and address these ethical issues in practice. While there is an abundance of conceptual work on AI ethics, empirical insights are rare and often anecdotal. This paper fills the gap in our current (...) understanding of how organisations deal with AI ethics by presenting empirical findings collected using a set of ten case studies and providing an account of the cross-case analysis. The paper reviews the discussion of ethical issues of AI as well as mitigation strategies that have been proposed in the literature. Using this background, the cross-case analysis categorises the organisational responses that were observed in practice. The discussion shows that organisations are highly aware of the AI ethics debate and keen to engage with ethical issues proactively. However, they make use of only a relatively small subsection of the mitigation strategies proposed in the literature. These insights are of importance to organisations deploying or using AI, to the academic AI ethics debate, but maybe most valuable to policymakers involved in the current debate about suitable policy developments to address the ethical issues raised by AI. (shrink)

People often struggle with Bayesian reasoning. However, research showed that people’s performance (and rationality) can be supported by the way of representing the statistical information. First, research showed that using natural frequencies instead of probabilities as format of statistical information increases people’s performance in Bayesian situations thoroughly. Second, research also yielded that people’s performance increases through using visualization. We build our paper on existing research in this field. The main aim is to analyse people’s strategies in Bayesian situations that are (...) still erroneous although statistical information is represented by natural frequencies and visualizations. In particular, we compare two pairs of visualization with similar numerical information (tree diagram vs. unit square and double-tree diagram vs. 2x2-table) concerning their impact on people’s erroneous strategies in Bayesian situations. For this aim, we conducted an experiment with 540 university students. The students were randomly assigned to four conditions that are defined by the four different visualizations of statistical information. The students were asked to indicate a fraction as response in four Bayesian situations. We documented the numerator and the denominator of the students’ responses representing a basic set and a subset in a Bayesian situation. Our results show that people’s erroneous strategies are highly dependent on the visualization. A central finding is that the visualization’s characteristic of making the nested-sets structure of a Bayesian situation transparent has a facilitating effect on people’s Bayesian reasoning. For example, compared to the unit square, a tree diagram does not explicitly visualize the set-subset relations that are relevant in a Bayesian situation. Accordingly, compared to a unit square, a tree diagram partly hinders people to find the correct denominator in a Bayesian situation, and, in particular, triggers to select a wrong numerator. By analyzing people’s erroneous strategies in Bayesian situations, we contribute to investigating approaches to facilitate Bayesian reasoning and to further develop the teaching of Bayesian reasoning. (shrink)

In this paper some parts of the model theory for logics based on generalised Kripke semantics are developed. Löwenheim-Skolem theorems and some applications of ultraproduct constructions for generalised Kripke models with variable universe are investigated using similar theorems of the model theory for classical logic. The results are generalizations of the theorems of [4].

It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched.

A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.

How can we best identify, understand, and deal with ethical and societal issues raised by healthcare robotics? This paper argues that next to ethical analysis, classic technology assessment, and philosophical speculation we need forms of reflection, dialogue, and experiment that come, quite literally, much closer to innovation practices and contexts of use. The authors discuss a number of ways how to achieve that. Informed by their experience with “embedded” ethics in technical projects and with various tools and methods of responsible (...) research and innovation, the paper identifies “internal” and “external” forms of dialogical research and innovation, reflections on the possibilities and limitations of these forms of ethical–technological innovation, and explores a number of ways how they can be supported by policy at national and supranational level. (shrink)

In lowland South America, breath animates human and non-human bodies, pulsating through the materialities of organisms. Humans, however, should manage their bodies to recast and reconfigure breath in its most life-enhancing manifestations: singing and smoking. These are the specialized domains of those able to manage their vitalities in such a way as to produce potent effects in themselves and in the world around them, including influencing atmospheric conditions, the lives of animals and plants and the harming and healing of others. (...) In these relational onto-epistemologies, intersubjectivity, intercorporality and states of non-cognitive interaffection find new depths. Breath, properly managed, can make and unmake worldly forms, including bodies and the societies they come together in. Focusing on two Amerindian communities, the Warekena of northwestern Rio Negro, Brazil and the Shipibo-Konibo of the Ucayali valley in Eastern Peru, this article examines the interface between human and non-human subjectivities, and how resonant interaffective atmospheric conditions are induced to promote health. (shrink)